Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
971	J. von Neumann’s views on mathematical and axiomatic physics Add to Reading List Source URL: phil.elte.hu Language: English - Date: 2003-08-26 23:55:10 Formal systems Austrian nobility Hungarian nobility John von Neumann David Hilbert Axiomatic system Axiom Formalism Set theory Mathematics Science Logic
972	Bodily Systems and the Spatial-Functional Structure of the Human Body Barry Smith1,2, Katherine Munn1, Igor Papakin1 Add to Reading List Source URL: ontology.buffalo.edu Language: English - Date: 2004-02-11 16:59:25 Knowledge Upper ontology Formal ontology Foundational Model of Anatomy Biological system Human body Human anatomy System Circulatory system Science Ontology Information
973	On Oleshchuk’s Public Key Cryptosystem Heiko Stamer Friedrich Otto Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2004-09-01 10:17:26 Applied mathematics Rewriting Semi-Thue system Monoid String Presentation of a monoid Formal languages Theoretical computer science Mathematics
974	An insertion into the Chomsky hierarchy? Robert McNaughton Department of Computer Science Add to Reading List Source URL: www.cs.rpi.edu Language: English - Date: 2004-05-13 16:41:34 Models of computation Computer science Applied mathematics Pushdown automaton Chomsky hierarchy Rewriting Context-sensitive language Semi-Thue system Context-free language Formal languages Theoretical computer science Automata theory
975	Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future Add to Reading List Source URL: www.umsec.umn.edu Language: English - Date: 2008-08-19 15:56:59 Systems theory Systems science Formal sciences Control engineering Control theory Software development process Software development methodology Control system Model Science Software development Systems engineering
976	Calculus of Inductive Constructions Software Formal Verification Maria Jo˜ao Frade Add to Reading List Source URL: www3.di.uminho.pt Language: English - Date: 2009-06-24 07:52:22 Logic Programming language theory Calculus of constructions Entailment Typed lambda calculus Lambda cube Simply typed lambda calculus Type constructor Pure type system Type theory Lambda calculus Theoretical computer science
977	Software Quality Journal, 9, 177–193, 2001 © 2002 Kluwer Academic Publishers, Manufactured in The Netherlands. Add to Reading List Source URL: alexandria.tue.nl Language: English - Date: 2006-03-06 05:53:07 Science ISO Management Quality management system Software development process Evaluation Project management Systems engineering process Software quality Quality management Quality Formal methods
978	Ancient symbols, computational linguistics, and the reviewing practices of the general science journals Richard Sproat∗ Add to Reading List Source URL: www.cslu.ogi.edu Language: English - Date: 2010-07-09 14:35:17 Formal languages Natural language processing Logical syntax Metalogic Indus Valley Civilization Indus script Entropy Writing system Pictish stones Science Linguistics Logic
979	Set-theoretic Foundation of Parametric Polymorphism and Subtyping Giuseppe Castagna1 Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2012-05-16 06:05:46 Theoretical computer science Data types Computing Models of computation Formal methods Subtype polymorphism Lambda calculus Type system Polymorphism Software engineering Type theory Object-oriented programming
980	Notes by David Groisser, Copyright c 1993, revised version[removed]Peano Axioms for the Natural Numbers Add to Reading List Source URL: www.math.ufl.edu Language: English - Date: 2001-09-06 10:32:21 Elementary mathematics Mathematical proofs Proof theory Formal systems Peano axioms Mathematical induction Number system Axiom Natural number Mathematics Mathematical logic Logic

UPDATE